METATEM: A Framework for Programming in Temporal Logic
نویسندگان
چکیده
In this paper we further develop the methodology of temporal logic as an executable imperative language, presented by Moszkowski [Mos86] and Gabbay [Gab87, Gab89] and present a concrete framework, called MetateM for executing (modal and) temporal logics. Our approach is illustrated by the development of an execution mechanism for a propositional temporal logic and for a restricted first order temporal logic. ∗Work supported partially by Alvey under grants PRJ/SE/054 and IKBS/170 and by ESPRIT under Basic Research Action 3096 (SPEC).
منابع مشابه
Concurrent METATEM Processes – A Language for Distributed AI
In this paper, we introduce Concurrent METATEM Processes, a high-level language for modeling distributedand concurrent systems. This language represents an operational model for a variety of METATEM, which is a framework for executable temporal logics. We argue that the combination of executable temporal logic, meta-level capabilities, and concurrent operational model make the language suitable...
متن کاملSpecifying and Executing Protocols for Cooperative Action
The purpose of this paper is twofold: (i) to illustrate and re-emphasize the use of CONCURRENT METATEM, a programming language based on executable temporal logic, as a viable framework in which to develop Distributed Artificial Intelligence (DAI) applications; and (ii) to present a specific example of a cooperative protocol, give an outline of its implementation in CONCURRENT METATEM, and show ...
متن کاملTransformation and Synthesis in Metatem Part I: Propositional Metatem Transformation and Synthesis in Metatem Part I: Propositional Metatem *
In this report, the syntactic manipulation of temporal logic programs is considered. Transformation rules are provided for a temporal programming language that forms part of the METATEM framework for executable temporal logics [2]. Soundness of the various transformations is shown and several applications are given, such as the production of a normal form for programs, which is the basis of bot...
متن کاملFrom the Past to the Future: Executing Temporal Logic Programs
We describe some of the techniques which have been used to implement METATEM, a programming language based on temporal logic, and address problems such as non-determinism and looping which place constraints on the use of temporal logic as a programming language.
متن کاملMETATEM at Work: Modelling Reactive Systems Using Executable Temporal Logic∗
In this paper we describe the application of a high-level programming language to the abstract modelling of transport systems. We show how METATEM, a language based upon the execution of temporal logics, can be used to model railway networks. The examples considered are abstractions of real rail systems, and we show how such abstractions can be modelled both by standard, and concurrent, METATEM...
متن کامل